((v9 v6 5) (v9 v4 5) (v7 v5 5) (v7 v4 4) (v2 v5 4) (v8 v9 3) (v7 v1 1) (v5 v9 4) (v4 v1 3) (v8 v7 1) (v4 v2 4) (v6 v2 9) (v1 v9 0) (v1 v8 8) (v1 v3 8) (v6 v8 1) (v5 v6 5) (v1 v5 1))
65
((v7 v8) (v4 v6) (v3 v9) (v7 v9))